<?php

echo "S";
echo "Lorem ipsum";
// This document has been changed locally

  // This is a remote change

?>
